『A Specifier's Introduction to Formal Methods』